Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Région Centre68
Paliath Narendran47
Région Centre Sauf Paliath Narendran" 54
Paliath Narendran Sauf Région Centre" 33
Région Centre Et Paliath Narendran 14
Région Centre Ou Paliath Narendran 101
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000D26 Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
001A56 Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Synchronous Distributivity
001C14 Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo Chaining
001C64 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]String rewriting and security analysis: an extension of a result of Book and Otto
002153 Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Block Chaining
002D71 Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France]Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
003002 Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo Homomorphic Encryption
003F94 Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Active Intruders with Caps
004860 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Intruders with Caps
004945 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Intruders with Caps
006B10 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Distributivity Axioms
006F93 Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France]How Useful are Dag Automata?
007D19 Siva Anantharaman ; Paliath Narendran [France] ; Michaël Rusinowitch [France]ACID-Unification is NEXPTIME-Decidable
007D29 Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France]Unification modulo ACUI plus Homomorphisms/Distributivity
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022